id
processing priority
4
site type
3 (personal blog or private political site, e.g. Blogspot, Substack, also small blogs on own domains)
review version
11
html import
20 (imported)
first seen date
2024-08-09 10:36:33
expired found date
-
created at
2024-08-09 10:36:33
updated at
2026-02-18 06:52:36
length
24
crc
48678
tld
2211
nm parts
0
nm random digits
0
nm rare letters
0
is subdomain of id
13642151 (wordpress.com)
previous id
0
replaced with id
0
related id
-
dns primary id
0
dns alternative id
0
lifecycle status
0 (unclassified, or currently active)
deleted subdomains
0
page imported products
0
page imported random
0
page imported parking
0
count skipped due to recent timeouts on the same server IP
0
count content received but rejected due to 11-799
0
count dns errors
0
count cert errors
0
count timeouts
0
count http 429
0
count http 404
0
count http 403
0
count http 5xx
0
next operation date
-
server bits
—
server ip
-
mp import status
20
mp rejected date
-
mp saved date
-
mp size orig
149632
mp size raw text
35919
mp inner links count
12
mp inner links status
10 (links queued, awaiting import)
title
Blog Toán Học
description
Blog của Nguyễn Đăng Khải Hoàn
site name
Blog Toán Học
author
updated
2026-02-16 12:17:00
raw text
Blog Toán Học | Blog của Nguyễn Đăng Khải Hoàn Blog Toán Học Blog của Nguyễn Đăng Khải Hoàn Skip to content Home About ← Older posts AI giải toán Olympic Posted on August 5, 2024 by Đăng Hương Tuần rồi AI của Google (AlphaProof và AlphaGeometry) vừa đạt huy chương bạc tại IMO. Đọc slides bài nói của anh Lương Minh Thắng thấy quá hay cho nên tôi thử tìm hiểu thêm về sự kiện này và test một số AI hiện nay trong việc giải toán trình độ Olympic. Một điều thú vị của AlphaProof đó là nó sử dụng Lean, một công cụ hỗ trợ chứng minh toán học với thư viện lớn, đang được phát triển bởi nhiều người, có các hội nghị quanh năm về chủ đề này và có một ngôn ngữ mà tôi đánh giá là dễ chịu nhất trong số các công cụ hỗ trợ chứng minh hiện nay. Nghĩa là, về lâu dài, đó là một bước để AI tiếp cận và giải quyết các bài toán nghiên cứu. Các bài toán được dịch qua ngôn ngữ mà Lean có thể hiểu được, như việc các đoàn dịch lại đề qua tiếng nước mình, sau đó AI sẽ bắt đầu giải nó...
redirect type
0 (-)
block type
0 (no issues)
detected language
126 (language undetectable (empty document, too short, or engines disagree))
category id
Pozostałe (16)
index version
1
spam phrases
0
text nonlatin
3536
text cyrillic
0
text characters
26404
text words
7743
text unique words
1272
text lines
357
text sentences
250
text paragraphs
66
text words per sentence
30
text matched phrases
0
text matched dictionaries
0
links self subdomains
0
links other subdomains
links other domains
5 - deepmind.google, kaggle.com, scientificamerican.com, mathstodon.xyz, quantamagazine.org
links spam adult
0
links spam random
0
links spam expired
0
links ext activities
2
links ext ecommerce
0
links ext finance
0
links ext crypto
0
links ext booking
0
links ext news
1
links ext leaks
0
links ext ugc
38 - s0.wp.com, wp.me, secure.gravatar.com, s1.wp.com, wordpress.com, docs.google.com, terrytao.wordpress.com, youtu.be, drive.google.com
links ext klim
0
links ext generic
0
dol status
0
dol updated
2026-02-16 12:17:00
rss status
32 (unknown)
rss found date
2024-08-09 19:00:34
rss size orig
58306
rss items
10
rss spam phrases
0
rss detected language
126 (language undetectable (empty document, too short, or engines disagree))
inbefore feed id
-
inbefore status
0 (new)
sitemap path
sitemap status
40 (completed successful import of reports.txt file to table in_pages)
sitemap review version
2
sitemap urls count
157
sitemap urls adult
0
sitemap filtered products
0
sitemap filtered videos
0
sitemap found date
2024-08-09 19:28:45
sitemap process date
2024-08-09 19:28:46
sitemap first import date
-
sitemap last import date
2026-02-18 06:52:36